Method Engineering: A Formal Description
نویسندگان
چکیده
The development of information systems (IS) requires methods that recommend how to act during the development process. In some cases existing methods cannot cope with the requirements of the project situation at hand. Therefore new methods must be developed. Method Engineering (ME) attends to this application field. In this article, we provide a detailed overview of IS method engineering approaches in order to describe the concept of method engineering. Based on a literature review we derive a formal description of methods that can be used to describe methods in a basic way and transfer them to other fields of application. With the formal description of methods this article facilitates the process of understanding method engineering both for method user and its engineer.
منابع مشابه
Formal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملMathematical Methods in System and Software Engineering
Today, there is still a remarkable gap between the techniques and methods used in practice in software engineering and the formal techniques worked out and advocated by academics. Our goal is to close that gap and to bring together the pragmatic and mostly informal ideas in systems and software engineering used in practice and the mathematical techniques for the formal specification, refinement...
متن کاملRelational Exploration - Reconciling Plato and Aristotle
We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical rules are formulated and checked against a description logic theory. We propose an abstract framework (Logical Domain Exploration) for this kind of exploration technique before presenting a concrete instantiation: Relational Expl...
متن کاملA content-focused method for re-engineering thesauri into semantically adequate ontologies using OWL
The re-engineering of vocabularies into ontologies can save considerable time in the development of ontologies. Current methods that guide the re-engineering of thesauri into ontologies often convert vocabularies merely syntactically and ignore problems arising from interpreting vocabularies as ontologies, i.e. as sets of statements of facts. Current re-engineering methods also do not make use ...
متن کامل